搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Programming languages and system design : proceedings of the IFIP TC 2 Working Conference on Programming Languages and System Design, Dresden, GDR, 7-10 March, 1983 0 索取号：TP312-53/E905/1983 作者：IFIP TC 2 Working Conference on Programming Languages and System Design (1983 : Dresden、 Germany)、Bormann、 J. (J̈Уrgen)、 1926-、International Federation for Information Processing.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.		1986 IEEE Computer Society Workshop on Visual Languages, June 25-27, 1986, Dallas, Texas, U.S.A. 0 索取号：TP312-53/E909 作者：IEEE Computer Society Workshop on Visual Languages (2nd : 1986 : Dallas、 Tex.)、Institute of Electrical and Electronics Engineers. Dallas Section.、出版社：Washington, D.C. : IEEE Computer Society Press, 1986.
	A structured approach to building programs : PASCAL 0 索取号：TP312/E90104 作者：Wells、 Timothy D.、出版社：Englewood Cliffs, NJ : Yourdon Press, 1987.		Virtual reality exCursions with programs in C 0 索取号：TP312/E9953 作者：Watkins、 Christopher.、Marenka、 Bernie.、出版社：Boston ; San Diego : AP Professional, 1994.
	Multicomputers and image processing : algorithms and programs 0 索取号：TP312/E9040 作者：出版社：New York : Academic Press, 1982.		Modified branching programs and their computational power 0 索取号：TP312/E90114 作者：Meinel、 Christoph.、出版社：Berlin ; New York : Springer-Verlag, 1989.
	Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings 0 索取号：TP312/E9930 作者：REX School/Workshop (1990 : Noordwijkerhout、 Netherlands)、Bakker、 J. W. de (Jacobus Willem)、 1939-、Roever、 W.-P. de.、Rozenberg、 Grzegorz.、出版社：Berlin ; New York : Springer-Verlag, 1991.		Combinatorial algorithms on words 0 索取号：TP312/E9013 作者：NATO Advanced Research Workshop on Combinatorial Algorithms on Words (1984 : Maratea、 Italy)、Apostolico、 Alberto、 1948-、Galil、 Zvi.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Berlin ; New York : Springer-Verlag, 1985.
	Structure and interpretation of computer programs 0 索取号：TP312/E90165 作者：Abelson、 Harold.、Sussman、 Gerald Jay.、Sussman、 Julie.、出版社：London Cambridge, Mass. : MIT Press ; New York : McGraw-Hill, 1985.		Algorithms and data structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989 : proceedings 0 索取号：TP311.12/E903/1989 作者：WADS '89 (1989 : Ottawa、 Canada)、Dehne、 F. (Frank)、 1960-、Sack、 J.-R. (Jörg-Rüdiger)、 1954-、Santoro、 N. (Nicola)、 1951-、出版社：Berlin : Springer-Verlag, c1989.
	APPLE II programmer's handbook : programs and programming techniques in APPLE integer BASIC, APPLESOFT BASIC, Pascal, and 6502 assembly language 0 索取号：TP31-62/E901 作者：Vile、 Richard C.、 1943-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1982.		Workshop report 0 索取号：TP31-53/E902 作者：VLSI and Software Engineering Workshop (1982 : Port Chester、 N.Y.)、出版社：N.J. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1984,c1983.
	Text processing and document manipulation : proceedings of the international conference, University of Nottingham, 14-16 April 1986 0 索取号：TP31-53/E907/1986 作者：出版社：Cambridge [Cambridgeshire] ; New York, NY, USA : Published by Cambridge University Press on behalf of the British Computer Society, 1986.		Third International Workshop on Software Specification and Design : August 26-27, 1985, Gloucester Hotel, London (UK) 0 索取号：TP31-53/E9026/3 作者：International Workshop on Software Specification and Design (3rd : 1985 : London、 England)、IEEE Computer Society.、出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1985.
	Record 0 索取号：TP31-53/E9022/1983 作者：Software Maintenance Workshop (1983 : Monterey、 Calif.)、Arnold、 Robert S.、IEEE Computer Society. Software Engineering Technical Committee.、ACM Sigsoft.、出版社：Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1984.		Proceedings 0 索取号：TP31-53/E9020/1983 作者：SOFTFAIR (1983 : Arlington、 Va.)、IEEE Computer Society.、United States. National Bureau of Standards.、ACM Sigsoft.、出版社：Silver Spring,MD New York, N.Y. : IEEE Computer Society Press, 1983.

	Programming languages and system design : proceedings of the IFIP TC 2 Working Conference on Programming Languages and System Design, Dresden, GDR, 7-10 March, 1983 0 索取号：TP312-53/E905/1983 作者：IFIP TC 2 Working Conference on Programming Languages and System Design (1983 : Dresden、 Germany)、Bormann、 J. (J̈Уrgen)、 1926-、International Federation for Information Processing.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.		1986 IEEE Computer Society Workshop on Visual Languages, June 25-27, 1986, Dallas, Texas, U.S.A. 0 索取号：TP312-53/E909 作者：IEEE Computer Society Workshop on Visual Languages (2nd : 1986 : Dallas、 Tex.)、Institute of Electrical and Electronics Engineers. Dallas Section.、出版社：Washington, D.C. : IEEE Computer Society Press, 1986.
	A structured approach to building programs : PASCAL 0 索取号：TP312/E90104 作者：Wells、 Timothy D.、出版社：Englewood Cliffs, NJ : Yourdon Press, 1987.		Virtual reality exCursions with programs in C 0 索取号：TP312/E9953 作者：Watkins、 Christopher.、Marenka、 Bernie.、出版社：Boston ; San Diego : AP Professional, 1994.
	Multicomputers and image processing : algorithms and programs 0 索取号：TP312/E9040 作者：出版社：New York : Academic Press, 1982.		Modified branching programs and their computational power 0 索取号：TP312/E90114 作者：Meinel、 Christoph.、出版社：Berlin ; New York : Springer-Verlag, 1989.
	Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings 0 索取号：TP312/E9930 作者：REX School/Workshop (1990 : Noordwijkerhout、 Netherlands)、Bakker、 J. W. de (Jacobus Willem)、 1939-、Roever、 W.-P. de.、Rozenberg、 Grzegorz.、出版社：Berlin ; New York : Springer-Verlag, 1991.		Combinatorial algorithms on words 0 索取号：TP312/E9013 作者：NATO Advanced Research Workshop on Combinatorial Algorithms on Words (1984 : Maratea、 Italy)、Apostolico、 Alberto、 1948-、Galil、 Zvi.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Berlin ; New York : Springer-Verlag, 1985.
	Structure and interpretation of computer programs 0 索取号：TP312/E90165 作者：Abelson、 Harold.、Sussman、 Gerald Jay.、Sussman、 Julie.、出版社：London Cambridge, Mass. : MIT Press ; New York : McGraw-Hill, 1985.		Algorithms and data structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989 : proceedings 0 索取号：TP311.12/E903/1989 作者：WADS '89 (1989 : Ottawa、 Canada)、Dehne、 F. (Frank)、 1960-、Sack、 J.-R. (Jörg-Rüdiger)、 1954-、Santoro、 N. (Nicola)、 1951-、出版社：Berlin : Springer-Verlag, c1989.
	APPLE II programmer's handbook : programs and programming techniques in APPLE integer BASIC, APPLESOFT BASIC, Pascal, and 6502 assembly language 0 索取号：TP31-62/E901 作者：Vile、 Richard C.、 1943-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1982.		Workshop report 0 索取号：TP31-53/E902 作者：VLSI and Software Engineering Workshop (1982 : Port Chester、 N.Y.)、出版社：N.J. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1984,c1983.
	Text processing and document manipulation : proceedings of the international conference, University of Nottingham, 14-16 April 1986 0 索取号：TP31-53/E907/1986 作者：出版社：Cambridge [Cambridgeshire] ; New York, NY, USA : Published by Cambridge University Press on behalf of the British Computer Society, 1986.		Third International Workshop on Software Specification and Design : August 26-27, 1985, Gloucester Hotel, London (UK) 0 索取号：TP31-53/E9026/3 作者：International Workshop on Software Specification and Design (3rd : 1985 : London、 England)、IEEE Computer Society.、出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1985.
	Record 0 索取号：TP31-53/E9022/1983 作者：Software Maintenance Workshop (1983 : Monterey、 Calif.)、Arnold、 Robert S.、IEEE Computer Society. Software Engineering Technical Committee.、ACM Sigsoft.、出版社：Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1984.		Proceedings 0 索取号：TP31-53/E9020/1983 作者：SOFTFAIR (1983 : Arlington、 Va.)、IEEE Computer Society.、United States. National Bureau of Standards.、ACM Sigsoft.、出版社：Silver Spring,MD New York, N.Y. : IEEE Computer Society Press, 1983.